<?php

echo "OK";